$<$$x$,$y$$>$ =$>$ ${\it body}$($x$;$y$)(${\it value}$,${\it cont}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$${\it value}$/$x$,$y$. ${\it body}$($x$;$y$)